w-action-dec(TA;M;i)(k)
== kindcase(k; a.TA(i,a); l,tg.if destination(l) = i M(l,tg) else Void fi ) 

latex

Definitions	destination(l), a = b, if b t else f fi, kindcase(k; a.f(a); l,t.g(l;t) )
FDL editor aliases	w-action-dec